1. #ASE 2000
پدیدآورنده : #sponsored by Universite' Joseph Fourier ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Software engineering- Congresses ،Expert systems )Computer science(- Congresses
رده :
#
QA
،#.
I32
،#
2000
2. ASE 2000: 15e Conference International IEEE sur l'Automatisation du Genie Logiciel 11-15 September 2000, Grenoble, France = The Fifteenth IEEE Intenational Conference on Automated Software Engineering: Greoble, France, 11-15 September, 2000
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
758
.
I32
2000
3. ASE 2000 : 15e conference internationale IEEE sur l automatisation du genie logiciel: 11-15 September 2000, Grenoble, France
پدیدآورنده : Sponsored by: Universite Joseph Fourier ... ]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Expert systems )Computer science(,Congresses ، Software engineering
رده :
QA
76
.
758
.
I32
2000
4. Advanced techniques in computing sciences and software engineerin
پدیدآورنده : / Khaled Elleithy, editor
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer engineering, Congresses,Computer science, Congresses,Information technology, Congresses,Software engineering,Electronic books
رده :
TK7885
.
A1
,
A378
2008
5. Advanced techniques in computing sciences and software engineering
پدیدآورنده : Khaled Elleithy, editor
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Computer engineering Congresses,، Computer science Congresses,، Information technology Congresses,، Software engineering
رده :
TK
7885
.
A1A378
2008
6. #Advances in learning software organizations
پدیدآورنده : #Klaus-Dieter Althoff, Raimund L. Feldmann, Wolfgang Muller )eds.(
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Software engineering- Congresses ،Expert systems )Computer science(- Congresses
رده :
#
QA
،#.
L76
،#
2001
7. Advances in learning software organizations : 6th International Workshop, LSO 2004, Banff, Canada, June 20-21, 2004 : proceedings
پدیدآورنده : Grigori Melnik, Harald Holz )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
L28
Vol
.
3096
8. Advances in learning software organizations : 4th international workshop, LSO 2002, Chicago, IL, USA, August 6, 2002 : revised papers
پدیدآورنده : Scott Henninger, Frank Maurer )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
L28
Vol
.
2640
9. Advances in learning software organizations : third international workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001 : proceedings
پدیدآورنده : Klaus-Dieter Althoff, Raimund L. Feldmann, Wolfgang Muller )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
L28
Vol
.
2176
10. Advances in learning software organizations: third international workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
758
.
L76
2001
11. Algebraic methodology and software technolog : 6th international conference, AMAST'97 Sydney, Australia, December 13-17, 1997 : proceedings
پدیدآورنده : Michael Johnson )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1349
12. Algebraic methodology and software technology
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ; Abstract data types (Computer science) ; Congresses. ; Abstract data types (Computer science) ; fast ; (OCoLC)fst00794745. ; Software engineering. ; fast ; (OCoLC)fst01124185. ; Algebraische Methode. ; swd. ; Softwaree
13. Algebraic methodology and software technology : 7th International Conference, AMAST'99, Amazonia, Brazil, January 4-8, 1999 : proceedings
پدیدآورنده : Armando Martin Haeberer )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1548
14. Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings
پدیدآورنده : Martin Wirsing, Maurice Nivat )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1101
15. Algebraic methodology and software technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings
پدیدآورنده : Charles Rattray, Savitri Maharaj, Carron Shankland )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
3116
16. Algebraic methodology and software technology : 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings
پدیدآورنده : Teodor Rus )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1816
17. Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings
پدیدآورنده : Helene Kirchner, Christophe Ringeissen )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
2422
18. Applied Informatics and Communication
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Congresses,Computer networks -- Congresses,Software engineering -- Congresses,علوم کامپیوتر -- کنگرهها,شبکههای کامپیوتری -- کنگرهها,نرمافزار -- مهندسی -- کنگرهها
رده :
E-Book
,
19. Automated deduction in geometr
پدیدآورنده : / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
رده :
QA448
.
D38
,
I58
2011
20. Central European Functional Programming School
پدیدآورنده : \ Viktória Zsók , Zoltán Horváth, Lehel Csató (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Functional programming (Computer science) -- Congresses.,Programming Techniques.,Software engineering.,نرمافزار -- مهندسی
رده :
QA
76
.
62
.
C4
2015
E-Book
,